Massink, M. P. G.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Designing a Premium Package: Some Guidelines for Designers and Marketers

Mugge, Ruth, Massink, Thomas, Hultink, Erik Jan, van den Berg-Weitzel, Lianne

Journal:

The Design Journal

Year:

2014

Language:

english

File:

PDF, 279 KB

english, 2014

2

On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics

Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo…

Journal:

Swarm Intelligence

Year:

2013

Language:

english

File:

PDF, 1.44 MB

english, 2013

3

Towards a Logic for Performance and Mobility

Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

4

Model checking mobile stochastic logic

Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

5

Formal Verification in the Design of Gestural Interaction

G.J. Doherty, G. Faconti, M. Massink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 203 KB

english, 2001

6

Assisting the design of a groupware system

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 966 KB

english, 2009

7

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Stefania Gnesi, Diego Latella, Mieke Massink

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 403 KB

english, 2002

8

Continuous approximation of collective system behaviour: A tutorial

Bortolussi, Luca, Hillston, Jane, Latella, Diego, Massink, Mieke

Journal:

Performance Evaluation

Year:

2013

Language:

english

File:

PDF, 1.37 MB

english, 2013

9

SIGNIFICANCE OF HYDROGEN-ION CONCENTRATION IN DRINKING WATER AND PARTICULARLY FOR THE BUSINESS OF WATER SUPPLY

A. Massink and J. A. Heymann

Journal:

American Water Works Association

Year:

1921

Language:

english

File:

PDF, 2.06 MB

english, 1921

10

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Formal modeling and quantitative analysis of KLAIM-based mobile systems

De Nicola, Rocco, Latella, Diego, Massink, Mieke

Year:

2005

Language:

english

File:

PDF, 181 KB

english, 2005

11

[IEEE 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Cambridge, MA, USA (2015.9.21-2015.9.25)] 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops - Exploring Spatio-temporal Properties of Bike-Sharing Systems

Ciancia, Vincenzo, Latella, Diego, Massink, Mieke, Pakauskas, Rytis

Year:

2015

Language:

english

File:

PDF, 1.45 MB

english, 2015

12

Spatio-temporal model checking of vehicular movement in public transport systems

Ciancia, Vincenzo, Gilmore, Stephen, Grilletti, Gianluca, Latella, Diego, Loreti, Michele, Massink, Mieke

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 3.15 MB

english, 2018

13

Allosteric modulation of G protein‐coupled receptors by amiloride and its derivatives. Perspectives for drug discovery?

Massink, Arnault, Amelia, Tasia, Karamychev, Alex, IJzerman, Adriaan P.

Journal:

Medicinal Research Reviews

Year:

2019

File:

PDF, 2.83 MB

2019

14

Comparative analysis of the natriuretic peptide precursor gene cluster in vertebrates reveals loss of ANF and retention of CNP-3 in chicken

Arjan C. Houweling, Semir Somi, Maarten P.G. Massink, Martien A. Groenen, Antoon F.M. Moorman, Vincent M. Christoffels

Journal:

Developmental Dynamics

Year:

2005

Language:

english

File:

PDF, 632 KB

english, 2005

15

Model Checking Publish/Subscribe Notification for thinkteam®

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 444 KB

english, 2005

16

Modelling Interactive Experience, Function and Performance in Ubiquitous Systems

Michael D. Harrison, Mieke Massink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 534 KB

english, 2010

17

Towards Integrated Cognitive and Interface Analysis

Howard Bowman, Giorgio Faconti, Mieke Massink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

18

Quelques Observations sur des Mélanges D'eau de mer et D'eau Douce

Journal:

Recueil des Travaux Chimiques des Pays-Bas

Year:

1923

File:

PDF, 172 KB

1923

19

On the changes in the composition of natural waters: (with reference to the “ijssel-meer”)

A. Massink, L. G. M. Baas Becking

Journal:

Recueil des Travaux Chimiques des Pays-Bas

Year:

1934

Language:

english

File:

PDF, 544 KB

english, 1934

20

Scalable context-dependent analysis of emergency egress models

M. Massink, D. Latella, A. Bracciali, M. D. Harrison, J. Hillston

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 2.66 MB

english, 2012

21

Modelling and Verification of PREMO Synchronisable Objects

G. P. Faconti, M. Massink

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 163 KB

english, 1998

22

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal

H. Bowman, G. Faconti, J.-P. Katoen, D. Latella, M. Massink

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 184 KB

english, 1998

23

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, Istvan Majzik, Mieke Massink

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 255 KB

english, 1999

24

Preface

Tiziana Margaria, Mieke Massink

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 89 KB

english, 2009

25

Continuous interaction in future computing systems

Gavin Doherty, Giorgio Faconti, Mieke Massink, Michael Wilson

Journal:

Universal Access in the Information Society

Year:

2002

Language:

english

File:

PDF, 46 KB

english, 2002

26

A reference framework for continuous interaction

M. Massink, G. Faconti

Journal:

Universal Access in the Information Society

Year:

2002

Language:

english

File:

PDF, 230 KB

english, 2002

27

MarCaSPiS: a Markovian Extension of a Calculus for Services

Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

28

Three-dimensional measurement and visualization of morphogenesis applied to cardiac embryology

A. T. SOUFAN, G. VAN DEN BERG, P. D. MOERLAND, M. M. G. MASSINK, M. J. B. VAN DEN HOFF, A. F. M. MOORMAN, J. M. RUIJTER

Journal:

Journal of Microscopy

Year:

2007

Language:

english

File:

PDF, 273 KB

english, 2007

29

Using Hybrid Automata to Support Human Factors Analysis in a Critical System

G. Doherty, M. Massink, G. Faconti

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 186 KB

english, 2001

30

Über Nitratbestimmungen

K. Scheringa, R. C. Frederick, A. Massink

Journal:

Analytical and Bioanalytical Chemistry

Year:

1925

Language:

german

File:

PDF, 74 KB

german, 1925

31

On testing UML statecharts

Mieke Massink, Diego Latella, Stefania Gnesi

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 1.32 MB

english, 2006

32

The Hybrid World of Virtual Environments

Shamus Smith, David Duke, Mieke Massink

Journal:

Computer Graphics Forum

Year:

1999

Language:

english

File:

PDF, 108 KB

english, 1999

33

Haptic Cues for Image Disambiguation

G. Faconti, M. Massink, M. Bordegoni, F. De Angelis, S. Booth

Journal:

Computer Graphics Forum

Year:

2000

Language:

english

File:

PDF, 181 KB

english, 2000

34

The Climate Value of Cycling

Roel Massink, Mark Zuidgeest, Jaap Rijnsburger, Olga L. Sarmiento, Martin van Maarseveen

Journal:

Natural Resources Forum (John Wiley and Sons)

Year:

2011

Language:

english

File:

PDF, 409 KB

english, 2011

35

Proteomics of Mouse BRCA1-deficient Mammary Tumors Identifies DNA Repair Proteins with Potential Diagnostic and Prognostic Value in Human Breast Cancer

Warmoes, M., Jaspers, J. E., Pham, T. V., Piersma, S. R., Oudgenoeg, G., Massink, M. P. G., Waisfisz, Q., Rottenberg, S., Boven, E., Jonkers, J., Jimenez, C. R.

Journal:

Molecular & Cellular Proteomics

Year:

2012

Language:

english

File:

PDF, 2.90 MB

english, 2012

36

The Role of a Sodium Ion Binding Site in the Allosteric Modulation of the A2A Adenosine G Protein-Coupled Receptor

Gutiérrez-de-Terán, Hugo, Massink, Arnault, Rodríguez, David, Liu, Wei, Han, Gye Won, Joseph, Jeremiah S., Katritch, Ilia, Heitman, Laura H., Xia, Lizi, IJzerman, Adriaan P., Cherezov, Vadim, Katritch

Journal:

Year:

2013

Language:

english

File:

PDF, 2.90 MB

english, 2013

37

Table of Contents

Gutiérrez-de-Terán, Hugo, Massink, Arnault, Rodríguez, David, Liu, Wei, Han, Gye Won, Joseph, Jeremiah S., Katritch, Ilia, Heitman, Laura H., Xia, Lizi, IJzerman, Adriaan P., Cherezov, Vadim, Katritch

Journal:

Clinics in Geriatric Medicine

Year:

2008

Language:

english

File:

PDF, 36 KB

english, 2008

38

Synthesis and Biological Evaluation of Novel Allosteric Enhancers of the A 1 Adenosine Receptor Based on 2-Amino-3-(4′-Chlorobenzoyl)-4-Substituted-5-Arylethynyl Thiophene

Romagnoli, Romeo, Baraldi, Pier Giovanni, IJzerman, Adriaan P., Massink, Arnault, Cruz-Lopez, Olga, Lopez-Cara, Luisa Carlota, Saponaro, Giulia, Preti, Delia, Aghazadeh Tabrizi, Mojgan, Baraldi, Stefa

Journal:

Journal of Medicinal Chemistry

Year:

2014

Language:

english

File:

PDF, 772 KB

english, 2014

39

Coregulation ofFANCAandBRCA1in human cells

Anneke Haitjema,Berber M Mol,Irsan E Kooi,Maarten PG Massink…

Journal:

Year:

2014

Language:

english

File:

PDF, 914 KB

english, 2014

40

[IEEE Comput. Soc Seventh IEEE International Conference on Engineering of Complex Computer Systems - Skovde, Sweden (11-13 June 2001)] Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems - Modelling free flight with collision avoidance

Massink, M., De Francesco, N.

Year:

2001

Language:

english

File:

PDF, 784 KB

english, 2001

41

[IEEE Comput. Soc. Press 1993 4th Workshop on Future Trends of Distributed Computing Systems - Lisbon, Portugal (22-24 Sept. 1993)] 1993 4th Workshop on Future Trends of Distributed Computing Systems - Completeness of the equational semantics for Basic LOTOS

Massink, M., Rooijakkers, L.

Year:

1993

Language:

english

File:

PDF, 565 KB

english, 1993

42

[IEEE International Conference on Dependable Systems and Networks, 2004 - Florence, Italy (2004.07.1-2004.07.1)] International Conference on Dependable Systems and Networks, 2004 - Model checking dependability attributes of wireless group communication

Massink, M., Latella, D., Katoen, J.-P.

Year:

2004

Language:

english

File:

PDF, 417 KB

english, 2004

43

[IEEE Comput. Soc Sixth IEEE International High-Assurance Systems Engineering Symposium - Boco Raton, FL, USA (22-24 Oct. 2001)] Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking - A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification

Latella, D., Massink, M.

Year:

2001

Language:

english

File:

PDF, 331 KB

english, 2001

44

High resolution SNP array profiling identifies variability in retinoblastoma genome stability

Mol, Berber M., Massink, Maarten P. G., van der Hout, Annemarie H., Dommering, Charlotte J., Zaman, Johannes M. A., Bosscha, Machteld I., Kors, Wijnanda A., Meijers-Heijboer, Hanne E., Kaspers, Gertja

Journal:

Genes, Chromosomes and Cancer

Year:

2014

Language:

english

File:

PDF, 549 KB

english, 2014

45

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

Massink, M., Latella, D., Bracciali, A., Harrison, M.D.

Year:

2010

Language:

english

File:

PDF, 547 KB

english, 2010

46

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Model checking UML Statechart diagrams using JACK

Gnesi, S., Latella, D., Massink, M.

Year:

1999

Language:

english

File:

PDF, 184 KB

english, 1999

47

[IEEe 27th International Conference on Software Engineering, 2005. ICSE 2005. - St. Louis, MO, USA (May 15-21, 2005)] Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. - A case study on the automated verification of groupware protocols

ter Beek, M.H., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.

Year:

2005

Language:

english

File:

PDF, 2.26 MB

english, 2005

48

[IEEE Comput. Soc Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems - Florence, Italy (14-16 April 2004)] Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems - Formal test-case generation for UML statecharts

Gnesi, S., Latella, D., Massink, M.

Year:

2004

Language:

english

File:

PDF, 485 KB

english, 2004

49

[IEEE Comput. Soc HASE 2000. 5th IEEE International Symposium on High-Assurance Systems Engineering - Albuquerque, NM, USA (15-17 Nov. 2000)] Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) - A stochastic extension of a behavioural subset of UML statechart diagrams

Gnesi, S., Latella, D., Massink, M.

Year:

2000

Language:

english

File:

PDF, 945 KB

english, 2000

50

[IEEE Comput. Soc. Press CompEuro 1992 Computer Systems and Software Engineering - The Hague, Netherlands (4-8 May 1992)] CompEuro 1992 Proceedings Computer Systems and Software Engineering - Equational semantics for Basic LOTOS and an example of its use in a transformational proof style

Massink, M., Rooijakkers, L.

Year:

1992

File:

PDF, 307 KB

1992